Conservative Extensions of Polymorphic PCF
نویسنده
چکیده
We prove that product and sum types are de nable in polymorphic PCF with call-by-name evaluation strategy. This establishes polymorphic PCF and its extensions can be conservatively extended by product and sum types and recursive types.
منابع مشابه
Fibrin Glue in Postlaryngectomy Fistula-A Case Report
Introduction: One of the most common complications following total laryngectomy is pharyngocutaneous fistula (PCF). Various methods have been proposed to treat this disorder in recent studies, including a range of simple and conservative treatments to more aggressive therapies, such as various surgical procedures. One of the most innovative and least developed methods is the use of plasma...
متن کاملDesign of low-dispersion fractal photonic crystal fiber
In this paper, a fractal photonic crystal fiber (F-PCF) based on the 1st iteration of Koch fractal configuration for optical communication systems is presented. Complex structure of fractal shape is build up through replication of a base shape. Nowadays, fractal shapes are used widely in antenna topics and its usage in PCF has not been investigated yet. The purpose of this research is to compar...
متن کاملPolymorphic Game Semantics for Dynamic Binding
We present a game semantics for an expressive typing system for block-structured programs with late binding of variables and System F style polymorphism. As well as generic programs and abstract datatypes, this combination may be used to represent behaviour such as dynamic dispatch and method overriding. We give a denotational models for a hierarchy of programming languages based on our typing ...
متن کاملFull abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases
We examine several extensions and variants of Plotkin’s language PCF, including non-deterministic and probabilistic choice constructs. For each, we give an operational and a denotational semantics, and compare them. In each case, we show soundness and computational adequacy: the two semantics compute the same values at ground types. Beyond this, we establish full abstraction (the observational ...
متن کاملRepair of pharyngocutaneous fistula after total laryngectomy: A novel endoscopic approach.
BACKGROUND Pharyngocutaneous fistula (PCF) is a common and challenging complication of laryngectomy. The purpose of this study was to evaluate the results of endoscopic repair of postlaryngectomy PCF. METHODS Five patients who underwent salvage laryngectomy complicated by PCF underwent endoscopic repair at a regional medical center between 2006 and 2013. Data were compiled through a manual ch...
متن کامل